Instance Verification Kit (IVK)

spin lock @ [9985+36+/linux-3.17-rc1/include/linux/seqlock.h]
Instance Signature: lock

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__write_seqlock_irqsave [9920+23+/linux-3.17-rc1/include/linux/seqlock.h]
md_set_badblocks [217538+16+/linux-3.17-rc1/drivers/md/md.c]
write_sequnlock_irqrestore [10203+26+/linux-3.17-rc1/include/linux/seqlock.h]